Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics
- Författare
- Lincoln A. Wallen
- (Lincoln A. Wallen., Bibliography: 228-234, Includes indexes)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| MIT Press | c1990 | Storbritannien, Cambridge, Mass, London | 239 sidor. ill. 24 cm. |